Types as objects - pogi-log